Badouel, E. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (31)
Les plus populaires
Liste
- Liste
- Tableau

1

Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers

Eric Badouel, Bernard Fotsing, Rodrigue Tchougong

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 266 KB

english, 2011

2

The synthesis of Petri nets from path-automatic specifications

E. Badouel, Ph. Darondeau

Journal:

Information and Computation

Année:

2004

Langue:

english

Fichier:

PDF, 324 KB

english, 2004

3

The FERM-Domain Protein Expanded Regulates Hippo Pathway Activity via Direct Interactions with the Transcriptional Activator Yorkie

Caroline Badouel, Laura Gardano, Nancy Amin, Ankush Garg, Robyn Rosenfeld, Thierry Le Bihan, Helen McNeill

Journal:

Developmental Cell

Année:

2009

Langue:

english

Fichier:

PDF, 1.52 MB

english, 2009

4

Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition

Badouel, E., Tchougong, R., Nkuimi-Jugnia, C., Fotsing, B.

Journal:

Theoretical Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 651 KB

english, 2013

5

On guarded recursion

Eric Badouel, Philippe Darondeau

Journal:

Theoretical Computer Science

Année:

1991

Langue:

english

Fichier:

PDF, 676 KB

english, 1991

6

Merging Hierarchically-Structured Documents in Workflow Systems

Eric Badouel, Maurice Tchoupé Tchendji

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 400 KB

english, 2008

7

The synthesis problem for elementary net systems is NP-complete

Eric Badouel, Luca Bernardinello, Philippe Darondeau

Journal:

Theoretical Computer Science

Année:

1997

Langue:

english

Fichier:

PDF, 1.84 MB

english, 1997

8

Distributing Finite Automata Through Petri Net Synthesis

Éric Badouel, Benoît Caillaud, P. Darondeau

Journal:

Formal Aspects of Computing

Année:

2002

Langue:

english

Fichier:

PDF, 315 KB

english, 2002

9

Concurrent Secrets

E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, P. Darondeau

Journal:

Discrete Event Dynamic Systems

Année:

2007

Langue:

english

Fichier:

PDF, 594 KB

english, 2007

10

Context-Free Event Domains Are Recognizable

Eric Badouel, Philippe Darondeau, Jean-Claude Raoult

Journal:

Information and Computation

Année:

1999

Langue:

english

Fichier:

PDF, 601 KB

english, 1999

11

Herding Hippos: regulating growth in flies and man

Caroline Badouel, Ankush Garg, Helen McNeill

Journal:

Current Opinion in Cell Biology

Année:

2009

Langue:

english

Fichier:

PDF, 520 KB

english, 2009

12

Maternal embryonic leucine zipper kinase is stabilized in mitosis by phosphorylation and is partially degraded upon mitotic exit

Caroline Badouel, Isabelle Chartrain, Joëlle Blot, Jean-Pierre Tassan

Journal:

Experimental Cell Research

Année:

2010

Langue:

english

Fichier:

PDF, 736 KB

english, 2010

13

Apical junctions and growth control in Drosophila

Caroline Badouel, Helen McNeill

Journal:

Biochimica et Biophysica Acta (BBA) - Biomembranes

Année:

2009

Langue:

english

Fichier:

PDF, 370 KB

english, 2009

14

SnapShot: The Hippo Signaling Pathway

Caroline Badouel, Helen McNeill

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 5.15 MB

english, 2011

15

Distributing data and control for ray tracing in parallel

Badouel, D., Bouatouch, K., Priol, T.

Journal:

IEEE Computer Graphics and Applications

Année:

1994

Langue:

english

Fichier:

PDF, 1017 KB

english, 1994

16

Trace nets and process automata

Eric Badouel, Philippe Darondeau

Journal:

Acta Informatica

Année:

1995

Langue:

english

Fichier:

PDF, 1.69 MB

english, 1995

17

Mutations in genes encoding the cadherin receptor-ligand pair DCHS1 and FAT4 disrupt cerebral cortical development

Cappello, Silvia, Gray, Mary J, Badouel, Caroline, Lange, Simona, Einsiedler, Melanie, Srour, Myriam, Chitayat, David, Hamdan, Fadi F, Jenkins, Zandra A, Morgan, Tim, Preitner, Nadia, Uster, Tami, Tho

Journal:

Nature Genetics

Année:

2013

Langue:

english

Fichier:

PDF, 2.18 MB

english, 2013

18

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Why Are Modalities Good for Interface Theories?

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoît, Passerone, Roberto

Année:

2009

Langue:

english

Fichier:

PDF, 252 KB

english, 2009

19

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Residuation of tropical series: Rationality issues

Badouel, Eric, Bouillard, Anne, Darondeau, Philippe, Komenda, Jan

Année:

2011

Langue:

english

Fichier:

PDF, 345 KB

english, 2011

20

[IEEE 2006 8th International Workshop on Discrete Event Systems - Ann Arbor, MI, USA (July 10, 2006)] 2006 8th International Workshop on Discrete Event Systems - Concurrent Secrets

Badouel, E., Bednarczyk, M., Borzyszkowski, A., Caillaud, B., Darondeau, P.

Année:

2006

Langue:

english

Fichier:

PDF, 244 KB

english, 2006

21

A functional analysis of MELK in cell division reveals a transition in the mode of cytokinesis during Xenopus development

Le Page, Y., Chartrain, I., Badouel, C., Tassan, J.-P.

Journal:

Journal of Cell Science

Année:

2011

Langue:

english

Fichier:

PDF, 3.65 MB

english, 2011

22

Fat1 interacts with Fat4 to regulate neural tube closure, neural progenitor proliferation and apical constriction during mouse brain development

Badouel, C., Zander, M. A., Liscio, N., Bagherie-Lachidan, M., Sopko, R., Coyaud, E., Raught, B., Miller, F. D., McNeill, H.

Journal:

Development (The Company of Biologists)

Année:

2015

Langue:

english

Fichier:

PDF, 6.99 MB

english, 2015

23

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - A grammatical approach to data-centric case management in a distributed collaborative environment

Badouel, Eric, Hélouët, Loïc, Kouamou, Georges-Edouard, Morvan, Christophe

Année:

2015

Langue:

english

Fichier:

PDF, 576 KB

english, 2015

24

Active workspaces

Badouel, Eric, Hélouët, Loïc, Kouamou, Georges-Edouard, Morvan, Christophe, Fondze, Nsaibirni Robert

Journal:

ACM SIGAPP Applied Computing Review

Année:

2015

Langue:

english

Fichier:

PDF, 1.41 MB

english, 2015

25

M-phase MELK activity is regulated by MPF and MAPK

Badouel, Caroline, Körner, Roman

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 789 KB

english, 2006

26

Petri Nets with Structured Data

Badouel, Eric, Hélouët, Loïc, Morvan, Christophe, Devillers, Raymond, Valmari, Antti, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 587 KB

english, 2016

27

Amotl1 mediates sequestration of the Hippo effector Yap1 downstream of Fat4 to restrict heart growth

Ragni, Chiara V., Diguet, Nicolas, Le Garrec, Jean-François, Novotova, Marta, Resende, Tatiana P., Pop, Sorin, Charon, Nicolas, Guillemot, Laurent, Kitasato, Lisa, Badouel, Caroline, Dufour, Alexandre

Journal:

Nature Communications

Année:

2017

Langue:

english

Fichier:

PDF, 2.65 MB

english, 2017

28

[ACM Press the seventh ACM international conference - Grenoble, France (2009.10.12-2009.10.16)] Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 - Modal interfaces

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoît, Legay, Axel, Passerone, Roberto

Année:

2009

Langue:

english

Fichier:

PDF, 434 KB

english, 2009

29

Incremental Process Discovery using Petri Net Synthesis

Badouel, Eric, Schlachter, Uli, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Année:

2017

Langue:

english

Fichier:

PDF, 345 KB

english, 2017

30

Atypical Cadherin Fat1 Is Required for Lens Epithelial Cell Polarity and Proliferation but Not for Fiber Differentiation

Sugiyama, Yuki, Shelley, Elizabeth J., Badouel, Caroline, McNeill, Helen, McAvoy, John W.

Journal:

Investigative Opthalmology & Visual Science

Année:

2015

Fichier:

PDF, 1.71 MB

2015

31

FAT4 Fine-Tunes Kidney Development by Regulating RET Signaling

Zhang, Hongtao, Bagherie-Lachidan, Mazdak, Badouel, Caroline, Enderle, Leonie, Peidis, Philippos, Bremner, Rod, Kuure, Satu, Jain, Sanjay, McNeill, Helen

Journal:

Developmental Cell

Année:

2019

Fichier:

PDF, 5.46 MB

2019